Transitive functional dependency